standard proofs